1![Increasing Usability of Spin-based C Code Verification Using a Harness Definition Language Leveraging Model-driven Code Checking to Practitioners Daniel Ratiu Andreas Ulrich Increasing Usability of Spin-based C Code Verification Using a Harness Definition Language Leveraging Model-driven Code Checking to Practitioners Daniel Ratiu Andreas Ulrich](https://www.pdfsearch.io/img/b38239114c688e337108b640e04f8439.jpg) | Add to Reading ListSource URL: mbeddr.comLanguage: English - Date: 2018-08-02 04:06:51
|
---|
2![Unbounded Model-Checking with Interpolation for Regular Language Constraints Graeme Gange, Jorge A. Navas, Peter J. Stuckey, Harald Søndergaard, and Peter Schachte The University of Melbourne {ggange,jnavas,pjs,harald,s Unbounded Model-Checking with Interpolation for Regular Language Constraints Graeme Gange, Jorge A. Navas, Peter J. Stuckey, Harald Søndergaard, and Peter Schachte The University of Melbourne {ggange,jnavas,pjs,harald,s](https://www.pdfsearch.io/img/76866489c5cfff95da5495171320e8d7.jpg) | Add to Reading ListSource URL: jorgenavas.github.ioLanguage: English - Date: 2018-10-25 12:43:22
|
---|
3![Universal Language Model Fine-tuning for Text Classification Jeremy Howard∗ fast.ai University of San Francisco Universal Language Model Fine-tuning for Text Classification Jeremy Howard∗ fast.ai University of San Francisco](https://www.pdfsearch.io/img/bd432997bad718ea911bf6fb354fb620.jpg) | Add to Reading ListSource URL: arxiv.orgLanguage: English - Date: 2018-05-23 20:17:13
|
---|
4![Language-level Symmetry Reduction for Probabilistic Model Checking Alastair F. Donaldson Alice Miller David Parker Computing Laboratory Department of Computing Science Language-level Symmetry Reduction for Probabilistic Model Checking Alastair F. Donaldson Alice Miller David Parker Computing Laboratory Department of Computing Science](https://www.pdfsearch.io/img/09ceb095a5b7697ade2022d14f72c83d.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2009-07-01 05:37:09
|
---|
5![Indian Education for All Model Teaching Units Language Arts - Elementary Level Volume One Indian Education for All Model Teaching Units Language Arts - Elementary Level Volume One](https://www.pdfsearch.io/img/9eb543376131da550578965fab125fe4.jpg) | Add to Reading ListSource URL: wisconsinfirstnations.orgLanguage: English - Date: 2017-12-19 16:41:05
|
---|
6![CLUF: a Neural Model for Second Language Acquisition Modeling Shuyao Xu Singsound Inc. Beijing, China CLUF: a Neural Model for Second Language Acquisition Modeling Shuyao Xu Singsound Inc. Beijing, China](https://www.pdfsearch.io/img/b00d9b2117a7b10a33128da47ddfc44e.jpg) | Add to Reading ListSource URL: sharedtask.duolingo.comLanguage: English - Date: 2018-05-31 10:40:16
|
---|
7![Language model adaptation with MAP estimation and the perceptron algorithm Michiel Bacchiani, Brian Roark and Murat Saraclar AT&T Labs-Research, 180 Park Ave., Florham Park, NJ 07932, USA {michiel,roark,murat}@research.a Language model adaptation with MAP estimation and the perceptron algorithm Michiel Bacchiani, Brian Roark and Murat Saraclar AT&T Labs-Research, 180 Park Ave., Florham Park, NJ 07932, USA {michiel,roark,murat}@research.a](https://www.pdfsearch.io/img/ac0fa158bd0c5c79eb44997193d55bd9.jpg) | Add to Reading ListSource URL: www.aclweb.orgLanguage: English - Date: 2010-06-14 20:48:20
|
---|
8![Antimony A human-readable, human-writable, model definition language v2.8, October, 2015 Antimony A human-readable, human-writable, model definition language v2.8, October, 2015](https://www.pdfsearch.io/img/bdd1d57fb78d0c8a05ac38fe3aa67f9f.jpg) | Add to Reading ListSource URL: antimony.sourceforge.netLanguage: English - Date: 2015-10-10 01:18:27
|
---|
9![Jens Knoop, Uwe Zdun (Hrsg.): Software Engineering 2016, Lecture Notes in Informatics (LNI), Gesellschaft f¨ur Informatik, BonnSupporting Process Model Validation through Natural Language Generation Henrik Leop Jens Knoop, Uwe Zdun (Hrsg.): Software Engineering 2016, Lecture Notes in Informatics (LNI), Gesellschaft f¨ur Informatik, BonnSupporting Process Model Validation through Natural Language Generation Henrik Leop](https://www.pdfsearch.io/img/7c87f2b053687fed9429fae6fa651dab.jpg) | Add to Reading ListSource URL: subs.emis.deLanguage: English - Date: 2016-02-25 13:12:59
|
---|
10![Learning biases for the evolution of linguistic structure: an associative network model Kenny Smith Language Evolution and Computation Research Unit, School of Philosophy, Psychology and Language Sciences, The University Learning biases for the evolution of linguistic structure: an associative network model Kenny Smith Language Evolution and Computation Research Unit, School of Philosophy, Psychology and Language Sciences, The University](https://www.pdfsearch.io/img/367545301f927bc42fa5e4173216f0dd.jpg) | Add to Reading ListSource URL: www.lel.ed.ac.ukLanguage: English - Date: 2017-03-17 12:58:53
|
---|